<?php

class WorkflowException extends sfException {
  
}